Increasing Software Reliability using Mutation Testing and Machine Learning

Mutation testing is a type of software testing proposed in the 1970s where program statements are deliberately changed to introduce simple errors so that test cases can be validated to determine if they can detect the errors. The goal of mutation testing was to reduce complex program errors by preventing the related simple errors. Test cases are executed against the mutant code to determine if one fails, detects the error and ensures the program is correct. One major issue with this type of testing was it became intensive computationally to generate and test all possible mutations for complex programs. This dissertation used machine learning for the selection of mutation operators that reduced the computational cost of testing and improved test suite effectiveness. The goals were to produce mutations that were more resistant to test cases, improve test case evaluation, validate then improve the test suite’s effectiveness, realize cost reductions by generating fewer mutations for testing and improving software reliability by detecting more errors. To accomplish these goals, experiments were conducted using sample programs to determine how well the reinforcement learning based algorithm performed with one live mutation, multiple live mutations and no live mutations. The experiments, measured by mutation score, were used to update the algorithm and improved accuracy for predictions. The performance was then evaluated on multiple processor computers. One key result from this research was the development of a reinforcement algorithm to identify mutation operator combinations that resulted in live mutants. During experimentation, the reinforcement learning algorithm identified the optimal mutation operator selections for various programs and test suite scenarios, as well as determined that by using parallel processing and multiple cores the reinforcement learning process for mutation operator selection was practical. With reinforcement learning the mutation operators utilized were reduced by 50 – 100%.In conclusion, these improvements created a ‘live’ mutation testing process that evaluated various mutation operators and generated mutants to perform real-time mutation testing while dynamically prioritizing mutation operator recommendations. This has enhanced the software developer’s ability to improve testing processes. The contributions of this paper’s research supported the shift-left testing approach, where testing is performed earlier in the software development cycle when error resolution is less costly

Corals of the genus Porites are a locally abundant component of the epibiont community on mangrove prop roots at Calabash Caye, Turneffe Atoll, Belize

Mangroves are generally regarded as inhospitable for corals, but recent reports suggest they provide ecological refuge for some species. We surveyed diverse mangrove habitats on Turneffe Atoll, Belize, documenting 127 colonies of Porites divaricata (Thin Finger Coral) along 1858 m of mangrove prop roots at Calabash Caye and a much more diverse coral assemblage at Crooked Creek. At Calabash, corals were highly clumped, and varied widely in size and morphology, including large well-arborized colonies, encrusting forms with few branches, and new recruits with no branches, suggesting an age-structuredpopulation exhibiting extensive morphological plasticity. The data described here contributeto an emerging picture of mangroves as potentially critical habitat for many Caribbeancoral species.Accepted manuscrip

Expression divergence measured by transcriptome sequencing of four yeast species

<p>Abstract</p> <p>Background</p> <p>The evolution of gene expression is a challenging problem in evolutionary biology, for which accurate, well-calibrated measurements and methods are crucial.</p> <p>Results</p> <p>We quantified gene expression with whole-transcriptome sequencing in four diploid, prototrophic strains of <it>Saccharomyces </it>species grown under the same condition to investigate the evolution of gene expression. We found that variation in expression is gene-dependent with large variations in each gene's expression between replicates of the same species. This confounds the identification of genes differentially expressed across species. To address this, we developed a statistical approach to establish significance bounds for inter-species differential expression in RNA-Seq data based on the variance measured across biological replicates. This metric estimates the combined effects of technical and environmental variance, as well as Poisson sampling noise by isolating each component. Despite a paucity of large expression changes, we found a strong correlation between the variance of gene expression change and species divergence (R²= 0.90).</p> <p>Conclusion</p> <p>We provide an improved methodology for measuring gene expression changes in evolutionary diverged species using RNA Seq, where experimental artifacts can mimic evolutionary effects.</p> <p>GEO Accession Number: GSE32679</p

Iron Deposition following Chronic Myocardial Infarction as a Substrate for Cardiac Electrical Anomalies: Initial Findings in a Canine Model

Purpose: Iron deposition has been shown to occur following myocardial infarction (MI). We investigated whether such focal iron deposition within chronic MI lead to electrical anomalies. Methods: Two groups of dogs (ex-vivo (n = 12) and in-vivo (n = 10)) were studied at 16 weeks post MI. Hearts of animals from ex-vivo group were explanted and sectioned into infarcted and non-infarcted segments. Impedance spectroscopy was used to derive electrical permittivity () and conductivity (). Mass spectrometry was used to classify and characterize tissue sections with (IRON+) and without (IRON-) iron. Animals from in-vivo group underwent cardiac magnetic resonance imaging (CMR) for estimation of scar volume (late-gadolinium enhancement, LGE) and iron deposition (T2*) relative to left-ventricular volume. 24-hour electrocardiogram recordings were obtained and used to examine Heart Rate (HR), QT interval (QT), QT corrected for HR (QTc) and QTc dispersion (QTcd). In a fraction of these animals (n = 5), ultra-high resolution electroanatomical mapping (EAM) was performed, co-registered with LGE and T2* CMR and were used to characterize the spatial locations of isolated late potentials (ILPs). Results: Compared to IRON- sections, IRON+ sections had higher, but no difference in. A linear relationship was found between iron content and (p1.5%)) with similar scar volumes (7.28%±1.02% (Iron (1.5%)), p = 0.51) but markedly different iron volumes (1.12%±0.64% (Iron (1.5%)), p = 0.02), QT and QTc were elevated and QTcd was decreased in the group with the higher iron volume during the day, night and 24-hour period (p<0.05). EAMs co-registered with CMR images showed a greater tendency for ILPs to emerge from scar regions with iron versus without iron. Conclusion: The electrical behavior of infarcted hearts with iron appears to be different from those without iron. Iron within infarcted zones may evolve as an arrhythmogenic substrate in the post MI period

Correlation Of Terrestrial gamma flashes, Electric fields, and Lightning strikes (COTEL) in thunderstorms using networked balloon payloads developed by university and community college students

High energy gamma ray flashes from terrestrial sources have been observed by satellites for decades, but the actual mechanism, assumed to be thunderstorm lightning, has yet to be fully characterized. The goal of COTEL, funded by NASA through the University Student Instrument Project (USIP) program, is to correlate in time TGF events, lightning strikes, and electric fields inside of thunderstorms. This will be accomplished using a small network of balloon-borne payloads suspended in and around thunderstorm environments. The payloads will detect and timestamp gamma radiation bursts, lightning strikes, and the intensity of localized electric fields. While in flight, data collected by the payloads will be transmitted to a ground station in real-time and will be analyzed post-flight to investigate potential correlations between lightning, TGFs, and electric fields. The ground station system that will be used for COTEL was developed for the Eclipse 2017 ballooning project, and was used during flight operations on the day of the eclipse. The COTEL student team is in its second year of effort having spent the first year developing the basic balloon payloads and ground tracking system. Currently the team is focusing on prototype electric field and gamma radiation detectors. Testing and development of these systems will continue into 2018, and flight operations will take place during the spring 2018 Louisiana thunderstorm season. The poster will cover the student team effort in developing said system, an overview of the system architecture, balloon flight tests conducted to date, preliminary results from prototype detectors, and future plans

The SFA Business Review Vol. 3 No. 3

https://scholarworks.sfasu.edu/busreview/1006/thumbnail.jp

Distinct responses to rare codons in select Drosophila tissues

Codon usage bias has long been appreciated to influence protein production. Yet, relatively few studies have analyzed the impacts of codon usage on tissue-specific mRNA and protein expression. Here, we use codon-modified reporters to perform an organism-wide screen in Drosophila melanogaster for distinct tissue responses to codon usage bias. These reporters reveal a cliff-like decline of protein expression near the limit of rare codon usage in endogenously expressed Drosophila genes. Near the edge of this limit, however, we find the testis and brain are uniquely capable of expressing rare codon-enriched reporters. We define a new metric of tissue-specific codon usage, the tissue-apparent Codon Adaptation Index (taCAI), to reveal a conserved enrichment for rare codon usage in the endogenously expressed genes of both Drosophila and human testis. We further demonstrate a role for rare codons in an evolutionarily young testis-specific gene, RpL10Aa. Optimizing RpL10Aa codons disrupts female fertility. Our work highlights distinct responses to rarely used codons in select tissues, revealing a critical role for codon bias in tissue biology

From Expert Administration to Accountability Network: A New Paradigm for Comparative Administrative Law

Notwithstanding the radically changed landscape of contemporary administrative governance, the categories that guide comparative administrative law and that determine what will be compared remain similar to those used at the founding of the discipline in the late 1800s. These categories are rooted in confidence in an expert bureaucracy to accomplish public purposes and are mainly twofold - administrative organization and judicial review. This outdated model has limited the ability of comparative law to engage with contemporary debates on the administrative state, which instead display considerable skepticism of public administration and are premised on achieving the public good through a plural accountability network of public and private actors. This Article seeks to correct the anachronism by reframing comparative administrative law as an accountability network of rules and procedures designed to embed public administration and civil servants in their liberal democratic societies: accountability to elected officials, organized interests, the courts, and the general public. Based on this paradigm, the Article compares American and European administrative law in a global context. Among the many differences explored are parliamentary versus presidential political control, pluralist versus neo-corporatist forms of self-regulation and public-private collaboration, judicial review focused on fundamental rights versus policy rationality, and reliance on ombudsmen in lieu of courts. The Article concludes with a number of suggestions for how comparative law can speak to current debates on reforming administrative governance

On the Production of Scalar and Tensor Perturbations in Inflationary Models

The amplitude and spectrum of the scalar and tensor perturbations depend upon the shape of the inflationary potential in the small interval where the scalar field responsible for inflation was between about 46 and 54 e-folds before the end of inflation. By expanding the inflationary potential in a Taylor series in this interval we show that the amplitude of the perturbations and the power-law slope of their spectra can be expressed in terms of the value of the potential 50 e-folds before the end of inflation, $V_{50}$, the steepness of the potential, x_{50} \equiv \mpl V_{50}^\prime /V_{50}, and the rate of change of the steepness, $x_{50}^\prime$ (prime denotes derivative with respect to the scalar field).Comment: 32 pages FERMILAB-Pub-93/026-